大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Symposium on Dynamical Systems 的图书(共13491本)

Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

0
索取号:
作者:Bruni、 Roberto.、Dingel、 Juergen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Combinatorial Pattern Matching [electronic resource] : 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings

0
索取号:
作者:Giancarlo、 Raffaele.、Manzini、 Giovanni.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mobile Networks and Management [electronic resource] : Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers

0
索取号:
作者:Pentikousis、 Kostas.、Ag眉ero、 Ram贸n.、Garc铆a-Arranz、 Marta.、Papavassiliou、 Symeon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号:
作者:Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Systems: Approximation by Artificial Neural Networks [electronic resource]

0
索取号:
作者:Anastassiou、 George A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Future Challenges in Security and Privacy for Academia and Industry [electronic resource] : 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings

0
索取号:
作者:Camenisch、 Jan.、Fischer-H眉bner、 Simone.、Murayama、 Yuko.、Portmann、 Armand.、Rieder、 Carlos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

0
索取号:
作者:Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

0
索取号:
作者:Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dependable Computer Systems [electronic resource]

0
索取号:
作者:Zamojski、 Wojciech.、Kacprzyk、 Janusz.、Mazurkiewicz、 Jacek.、Sugier、 Jaros艂aw.、Walkowiak、 Tomasz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Distributed Applications and Interoperable Systems [electronic resource] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

0
索取号:
作者:Felber、 Pascal.、Rouvoy、 Romain.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Microsystems for Automotive Applications 2011 [electronic resource] : Smart Systems for Electric, Safe and Networked Mobility

0
索取号:
作者:Meyer、 Gereon.、Valldorf、 J眉rgen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computers,Networks, Systems, and Industrial Engineering 2011 [electronic resource]

0
索取号:
作者:Lee、 Roger.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Researching the Future in Information Systems [electronic resource] : IFIP WG 8.2 Working Conference, Turku, Finland, June 6-8, 2011. Proceedings

0
索取号:
作者:Chiasson、 Mike.、Henfridsson、 Ola.、Karsten、 Helena.、DeGross、 Janice I.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

0
索取号:
作者:Blackburn、 Patrick.、Ditmarsch、 Hans.、Manzano、 Mar铆a.、Soler-Toscano、 Fernando.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

0
索取号:
作者:Schmid、 Klaus.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类